Перевод: с английского на все языки

со всех языков на английский

правила вывода

См. также в других словарях:

  • правила вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN inference rules …   Справочник технического переводчика

  • ПРАВИЛА СУММ — теоретич. соотношения, фиксирующие значение нек рой суммы (интеграла) матричных элементов, характеризующих переходы между состояниями рассматриваемой системы. Широкое применение П. с. в физике связано с тем, что во мн. случаях из теоретич.… …   Физическая энциклопедия

  • ВЫВОДА ДЕРЕВО — способ записи выводов в исчислении, при к ром над каждым элементом Рпишутся те элементы вывода, из к рых Рполучен за одно применение вывода правила. Напр., имея вывод в к ром аксиомы, получается за одно применение правила из из из можно записать… …   Математическая энциклопедия

  • ВЫВОДА ПРАВИЛО — способ порождения объектов, называемых заключением В. п., по множеству объектов, называемых посылками правила; формулирование В. п. играет решающую роль при описании исчислений (часто данное В. п. имеет смысл лишь в контексте данного исчисления) …   Математическая энциклопедия

  • Интерфейс (или сопряжение ввода - вывода) — Совокупность унифицированных конструктивных, логических, физических условий, которым должны удовлетворять технические средства, чтобы их можно было соединить и производить между ними обмен информацией. В соответствии с назначением в состав… …   Словарь-справочник терминов нормативно-технической документации

  • ПРАВИЛО ВЫВОДА —         определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… …   Философская энциклопедия

  • Медаль «В память 10-летия вывода советских войск из Афганистана» (Белоруссия) — Медаль «В память 10 летия вывода советских войск из Афганистана» …   Википедия

  • Интерфейс (или сопряжение ввода-вывода) — Совокупность унифицированных конструктивных, логических, физических условий, которым должны удовлетворять технические средства, чтобы их можно было соединить и производить между ними обмен информацией. В соответствии с назначением в состав… …   Словарь-справочник терминов нормативно-технической документации

  • НП 012-99: Правила обеспечения безопасности при выводе из эксплуатации блока атомной станции — Терминология НП 012 99: Правила обеспечения безопасности при выводе из эксплуатации блока атомной станции: База данных по выводу из эксплуатации блока АС совокупность документально подтвержденных и упорядоченных сведений об эксплуатации блока АС …   Словарь-справочник терминов нормативно-технической документации

  • НП 037-02: Правила обеспечения безопасности при выводе из эксплуатации ядерных энергетических установок судов — Терминология НП 037 02: Правила обеспечения безопасности при выводе из эксплуатации ядерных энергетических установок судов: 1. База данных по выводу из эксплуатации ЯЭУ судна совокупность документально подтвержденных и упорядоченных сведений об… …   Словарь-справочник терминов нормативно-технической документации

  • Машина вывода — Машина вывода  программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае  утверждение, являющееся постоянно истинным, например:… …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»